Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
841	University of Scranton ACM Student Chapter / Computing Sciences Department 19th Annual High School Programming Contest (2009) -----------------------------------------------------------------------------Problem 1: Fibona Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2009-12-01 18:14:21 Deterministic finite automaton Mathematics Applied mathematics Nondeterministic finite automaton Finite-state machine Fibonacci number Sequence Rope Automata theory Models of computation Computer science
842	A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quantied Propositional Logic. BDDs are Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:50 Models of computation Predicate logic Automata theory Model theory Philosophical logic Denotational semantics First-order logic Formal language Second-order logic Logic Mathematical logic Mathematics
843	Submitted to Journal of Chemical Theory and Computation rR Fo An Effective Hamiltonian Molecular Orbital©¤Valence Bond (MOVB) Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:07 Chemical bonding Theoretical chemistry Molecular physics Ab initio quantum chemistry methods Valence bond theory Localized molecular orbitals Chemical bond Resonance Multi-configurational self-consistent field Chemistry Quantum chemistry Computational chemistry
844	Enumeration and Decidable Properties of Automatic Sequences Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-06 05:34:50 Theoretical computer science Automatic sequence Enumeration Theory of computation Mathematics Automata theory Combinatorics on words
845	Certified Computation of Planar Morse-Smale Complexes of Smooth Functions (extended abstract) Amit Chattopadhyay1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2012-02-17 15:40:05 Calculus Morse theory Dynamical systems Morse–Smale system Separatrix Manifold Interval arithmetic Gradient-like vector field Hessian matrix Mathematical analysis Mathematics Differential topology
846	Simply Scheme Brian Harvey Matthew Wright Foreword by Harold Abelson Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:10 Recursion Theory of computation Programming idioms Computability theory Functional languages Lisp Mutual recursion Backtracking Function Computer programming Software engineering Computing
847	A Restriction-Centered Theory of Reasoning and Computation to materialize a Web 3.0 Edy Portmann University of California, Berkeley ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2013-04-02 18:41:25 Science Knowledge representation Information science Ontology Semantics Semantic reasoner Semantic Web Knowledge engineering Information
848	Nik Boyd Copyright 2004 Nikolas S. Boyd. All rights reserved. State Names Add to Reading List Source URL: educery.com Language: English - Date: 2005-07-08 01:55:48 Models of computation Finite-state machine Automated teller machine Identifier Business Electronics Technology Automata theory Digital electronics
849	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE[removed]Motif Statistics Pierre NICODE ME, Bruno SALVY, Philippe FLAJOLET Add to Reading List Source URL: algo.inria.fr Language: English - Date: 1999-05-18 12:04:41 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Generating function Markov chain Probability-generating function Computability Finite-state machine Automata theory Models of computation Theoretical computer science
850	Object Closure Conversion ∗ Neal Glew Cornell University 24 August[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-08-25 13:13:33 Computer science Computability theory Lambda calculus Programming language semantics Denotational semantics Orbifold Theoretical computer science Models of computation Applied mathematics

UPDATE